“수리 논리학”으로 총 1건 검색

• 수리 논리학, 數理論理學, mathematical logic

  논리학에서 사용하는 명제들을 수학적인 기호로 표시하여 일상 언어의 사용에서 오는 혼동을 피하고 명제를 쉽게 다룰 수 있도록 한 것. 예를 들면, ‘X는 Y의 아들이다’라는 명제는 SON(X, Y)라는 술어로 나타낼 수 있다. 이들 술어는 한정 기호에 의해 한정되고 AND(∧), OR(∨), NOT(~)의 연결사에 의해...